d90221c80c1baf7c45b3923a4882274be7268a5b,sources/net.sf.j2s.java.org.eclipse.swt/src/org/eclipse/swt/widgets/Display.java,Display,updateLayout,#,5046

Before Change


	if (taskBar != null) {
		taskBar.updateLayout();
		topBar.updateLayout();
		shortcutBar.updateLayout();
		trayCorner.updateLayout();
		Element panel = document.getElementById("swt-desktop-panel");
		if (panel != null) {

After Change


	if (taskBar != null) {
		taskBar.updateLayout();
		if (topBar != null) topBar.updateLayout();
		if (shortcutBar != null) shortcutBar.updateLayout();
		if (trayCorner != null) trayCorner.updateLayout();
	}
	Element panel = document.getElementById("swt-desktop-panel");